pour avoir le \(\operatorname{pgcd}\) de deux polynômes, on les décompose en facteurs irréductibles et on regarde s'ils ont des racines communes (Polynôme irréductible, Racine)
